﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Diagnostics.Contracts;

namespace FoundationLib.Common.Calendar
{
	[ContractClassFor(typeof(WeekOfYearFormatter))]
	internal abstract class WeekOfYearFormatterContract : WeekOfYearFormatter
	{
		public override string Format(WeekOfYear value)
		{
			Contract.Requires(value != null);
			return (default(string));
		}
	}
}
